proof by induction

英 [pruːf baɪ ɪnˈdʌkʃn]

美 [pruːf baɪ ɪnˈdʌkʃn]

网络归纳证法; 归纳证明

A Specification Transformation for Proof by Induction
归纳证明的规范变换方法
In terms of the assessment value of integration, a proof of the analysis of Cauchy integration F ( z) in the arbitrary area D that is out of the simple field by field smooth curve C on the plane z is given by applying the mathematical induction.
依据积分估值对Cauchy型积分F（z）在z平面上简单逐段光滑曲线C外任一区域D内的解析进行了证明，其方法是利用数学归纳法。
Studies in Proof by Induction
关于归纳证明的探讨
A proof of x~ 2 distribution by mathematical induction
X~2&分布的数学归纳法证明
In this paper the authors introduced the implemental techniques of transformation equational specification into order-sorted equational specification, the proof techniques of inductive theorems on the order-sorted equational specification based on specification transformation for proof by induction.
本文在归纳证明的规范变换方法的基础上.介绍从一般等式规范到有序类等式规范变换的实现技术.以及在有序类等式规范上的归纳定理的证明技术。
On this basis, a method of proof by induction is shown in order-sorted specification.
在此基础上.又给出了有序类规范上的一个归纳证明方法。
Studies in Proof by Induction The Anomalous X-ray Pulsars
关于归纳证明的探讨反常X射线脉冲星的研究进展